Skip to content

Conversation

NobodyXu
Copy link
Collaborator

Resolve #893

Resolve #893

Signed-off-by: Jiahao XU <[email protected]>
@NobodyXu NobodyXu requested a review from thomcc November 11, 2023 23:07
@NobodyXu
Copy link
Collaborator Author

I opened this PR so that @thomcc you can merge and cut a new release at anytime you want

@thomcc
Copy link
Member

thomcc commented Nov 11, 2023

I'll do this tomorrow morning.

@NobodyXu
Copy link
Collaborator Author

Good, I will leave this PR open so that you can approve and merge it tomorrow.

@thomcc thomcc merged commit 17f9e01 into rust-lang:main Nov 12, 2023
@thomcc
Copy link
Member

thomcc commented Nov 12, 2023

Published. Will get relnotes up soonish.

@NobodyXu NobodyXu deleted the new-release branch November 12, 2023 21:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Cut 1.0.84 Release
2 participants